$R$ $\Vdash$ ${\it es}$.$P$(${\it es}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$R{-}Feasible($R$) \& ($\forall$${\it es}$:ES. Consistent($R$;${\it es}$) $\Rightarrow$ $P$(${\it es}$))